¨ Torben Brauner’s List of Publications Refereed Workshop and Conference Papers [1] T. Bra¨uner. A model of intuitionistic affine logic from stable domain theory. In S. Abiteboul and E. Shamir, editors, Proceedings o

Source URL: akira.ruc.dk

A Domain-Independent Model of Open-World Reference Resolution Tom Williams and Matthias Scheutz {williams,mscheutz}@cs.tufts.edu Human-Robot Interaction Laboratory, 200 Boston Avenue Medford, MAAbstract

Source URL: hrilab.tufts.edu

Prediction of Transmembrane Helical Regions by Three-stage Model Seah Boon-Chien Shigeki Mitaku

Source URL: www.jsbi.org

• Biology
• Cell biology
• Molecular biology
• Membrane biology
• Integral membrane proteins
• Transmembrane domain
• Transmembrane protein
• Membrane protein
• Bioinformatics
• Signal peptide
• SOSUI
• Alpha helix

CALL FOR PAPERS — PEPM’10 ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation Madrid, January 18–19, 2010 (Affiliated with POPL’10)

Source URL: www.program-transformation.org

• Computing
• Software engineering
• Computer science
• Evaluation strategy
• Incremental computing
• Partial evaluation
• Symposium on Principles of Programming Languages
• Association for Computing Machinery
• Domain-specific language
• Actor model

up your domain model with Tom Baeyens & Joram Barrez Agenda Business Process Management (BPM)

Source URL: data.proidea.org.pl

July 17-19, 2013 Paul Sabatier University, Toulouse, France SWAT Awards Book The Soil and Water Assessment Tool (SWAT) is a public domain model jointly

Source URL: swat.tamu.edu

Security Domain Model and Implementation Modeling Language Reference Manual version 2.0 May 2008

Source URL: cisr.nps.edu

• Software engineering
• Computing
• Programming language theory
• Type theory
• Variable
• Information flow
• ALGOL 68
• Assignment
• Java

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

Towards minimum perceptual error training for DNN-based speech synthesis Cassia Valentini-Botinhao, Zhizheng Wu, Simon King The Centre for Speech Technology Research, University of Edinburgh, United Kingdom cvbotinh@inf.

Source URL: www.cstr.ed.ac.uk

• Computational linguistics
• Signal processing
• Cepstrum
• Frequency domain analysis
• Speech synthesis
• Acoustic model
• Cepstral
• Electrical engineering
• Humancomputer interaction
• Computational science
• Speech recognition